Algebraic theories 笔记 2
Andrej Bauer 的 Lecture 2 的笔记。
视频和资料: https://www.cs.uoregon.edu/research/summerschool/summer18/topics.php#Bauer
简介：本次讲座介绍数学（Algebraic theories），可参考文章 What is algebraic about algebraic effects and handlers?
Algebraic Effects
Algebraic theories 笔记
Andrej Bauer 的 Lecture 1 的笔记。
视频和资料: https://www.cs.uoregon.edu/research/summerschool/summer18/topics.php#Bauer
简介：本次讲座介绍数学（Algebraic theories），可参考文章 What is algebraic about algebraic effects and handlers?